Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
121	A category-theoretic account of program modules Eugenio Moggi∗ [removed] LFCS, University of Edinburgh, EH9 3JZ Edinburgh, UK May 31, 1994 Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:31:16 Adjoint functors Functors Functional programming Lambda calculus Functor Monad Natural transformation Product Cartesian closed category Category theory Mathematics Abstract algebra
122	LibreS3: design, challenges, and steps toward reusable libraries Török Edwin e [removed] e Skylable L Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 23:52:34 Adjoint functors Functional programming Monad OCaml Declarative programming Software engineering Computer programming
123	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
124	LibreS3: design, challenges, and steps toward reusable libraries Edwin Török Skylable Ltd. [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-12 10:38:52 Functional programming Adjoint functors Functional languages Data types Monad OCaml Caml Ocsigen List Computing Software engineering Computer programming
125	LibreS3 Design, challenges and steps toward reusable libraries Edwin Török [removed] The OCaml Users and Developers Workshop, 2014 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 05:42:47 Adjoint functors OCaml Functional programming Monad Ocsigen Caml MLDonkey Török ML Software Computing Functional languages
126	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Software engineering Lambda calculus Computing Applied mathematics Adjoint functors Functional programming Monad
127	1 Introduction An application of Hopf-Algebra techniques to representations of finite Classical Groups Marc A. A. van Leeuwen Mathematical Institute, Rijksuniversiteit te Utrecht Add to Reading List Source URL: www-math.univ-poitiers.fr Language: English - Date: 2014-09-01 05:21:14 Functors Sheaf theory Natural transformation Adjoint functors Sheaf Grothendieck topology Limit Pushout Group action Abstract algebra Category theory Algebra
128	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
129	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
130	Function Inheritance: Monadic Memoization Mixins Daniel Brown1 , William R. Cook2 1 2 Northeastern University, Boston, MA USA Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-02-24 15:46:52 Functional programming Adjoint functors Data types Programming idioms Functional languages Monad Memoization Recursion Parser combinator Software engineering Computer programming Computing

UPDATE